Formal Verification Publications

Publications in Formal Verification

Explore the most influential research papers and scholarly works that have shaped Formal Verification. Use the concept filter below to focus on a specific sub-area of research.

Formal Verification

82.3K

Publications

4.5M

Citations

Showing yearly statistics from 2000-2026.

Page 1

	Year	Citations
New directions in cryptography Whitfield Diffie, Martin E. Hellman IEEE Transactions on Information Theory Cryptographic PrimitiveEngineeringInformation SecurityCryptographic TechnologyInformation Forensics	1976	14.3K
How to share a secret Adi Shamir Communications of the ACM Cryptographic PrimitiveN PiecesEngineeringInformation SecurityInformation Leakage	1979	13.2K
A method for obtaining digital signatures and public-key cryptosystems Ronald L. Rivest, Adi Shamir, Leonard M. Adleman Communications of the ACM EngineeringInformation SecurityCryptographic TechnologyInformation ForensicsCommunication	1983	13.1K
A method for obtaining digital signatures and public-key cryptosystems Ronald L. Rivest, Adi Shamir, Leonard M. Adleman Communications of the ACM EngineeringInformation SecurityCryptographic TechnologyInformation ForensicsCommunication	1978	12.9K
Introduction to automata theory, languages and computation Mathematics and Computers in Simulation Logical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton Network	1981	10.8K
Low-density parity-check codes Robert G. Gallager IEEE Transactions on Information Theory EngineeringJoint Source-channel CodingIterative DecodingLow-density Parity-check CodeVariable-length Code	1962	10.5K
Handbook of applied cryptography Choice Reviews Online Valuable ReferenceCryptographic PrimitiveRapid AccessEngineeringInformation Security	1997	10.4K
Graph-Based Algorithms for Boolean Function Manipulation Bryant IEEE Transactions on Computers Circuit ComplexityComputational LogicLogic SynthesisEngineeringBoolean Function Manipulation	1986	8.8K
Time, clocks, and the ordering of events in a distributed system Leslie Lamport Communications of the ACM Event-driven ArchitectureEngineeringConcurrent SystemClock SynchronizationFormal Verification	1978	8.4K
On Computable Numbers, with an Application to the Entscheidungsproblem Alan Turing Proceedings of the London Mathematical Society Computable NumbersEngineeringAutomated ReasoningComputational Model TheoryFormal Methods	1937	8K
Space/time trade-offs in hash coding with allowable errors Burton H. Bloom Communications of the ACM EngineeringComputational FactorsVerificationHash CodingSoftware Analysis	1970	7.4K
Introduction to automata theory, languages, and computation Computer Languages Logical AutomatonEngineeringAutomated ReasoningFormal MethodsAutomaton Network	1980	6.8K

Page 1